Section: Partnerships and Cooperations
International Initiatives
Inria Associated Teams
DAESD
Title: Distributed/Asynchronous and Embedded/synchronous Systems Development
International Partner (Institution - Laboratory - Researcher):
See also: https://team.inria.fr/DAESD/
The development of concurrent and parallel systems has traditionally been clearly split in two different families: distributed and asynchronous systems on one hand, now growing very fast with the recent progress of the Internet towards large scale services and clouds; embedded, reactive, or hybrid systems on the other hand, mostly of synchronous behaviour. The frontier between these families has attracted less attention, but recent trends, e.g. in industrial systems, in Cyber-Physical systems, or in the emerging Internet of Things, give a new importance to research combining them. The aim of the DAESD associate team is to combine the expertise of the Oasis and Aoste teams at Inria, the SEI-Shone team at ECNU-Shanghai, and to build models, methods, and prototype software tools inheriting from synchronous and asynchronous models. We plan to address modelling formalisms and tools, for this combined model; to establish a method to analyze temporal and spatial consistency of embedded distributed real-time systems; to develop scheduling strategies for multiple tasks in embedded and distributed systems with mixed constraints. In parallel with our research collaboration this Associate Team, the SEI-Shone lab is organizing a workshop in Shanghai, with a first edition in Nov. 2011, on "Distributed - Asynchronous and Embedded - synchronous Systems Development".
Participation In International Programs
LIAMA
Following the DAESD associated-team, a proposal for a LIAMA project with ECNU Shanghai, named HADES, has been presented recently at the LIAMA steering committee in December 2012. It is a joint proposal with the OASIS EPI.